| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Algorithmic Differentiation | Fach-/Modulprüfung | 6 | 424053 | ||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 422515 | ||
| Communication Systems Engineering | Fach-/Modulprüfung | 6 | 429111 | ||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 428629 | ||
| Vorlesung | 415004 | Di 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Übung | 415005 | Mo 16:30-18:00 Online-Veranstaltung (×13) | |||
| Eingebettete Systeme | Fach-/Modulprüfung | 6 | 421982 | ||
| Vorlesung/Übung | 417511 | Mo 14:30-16:00 Online-Veranstaltung (×13) Do 16:30-18:00 Online-Veranstaltung (×8) | |||
| Vorlesung/Übung | 432158 | Do 10:30-12:00 Online-Veranstaltung (×1) Do 18:30-20:00 Online-Veranstaltung (×11) Fr 14:30-16:00 Online-Veranstaltung (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 433043 | ||
| Konzepte und Modelle der parallelen und datenzentrischen Programmierung | Fach-/Modulprüfung | 6 | 422105 | ||
| Vorlesung/Übung | 416823 | Mo 10:30-12:00 Online-Veranstaltung (×10) Do 10:30-12:00 Online-Veranstaltung (×5) | |||
| Leistungs- und Korrektheitsanalyse paralleler Programme | Fach-/Modulprüfung | 6 | 422499 | ||
| Vorlesung/Übung | 419346 | Di 12:30-14:00 Online-Veranstaltung (×11) Di 14:30-16:00 Online-Veranstaltung (×1) Fr 10:30-12:00 Online-Veranstaltung (×8) | |||
| Mobile Internet Technology | Fach-/Modulprüfung | 6 | 423297 | ||
| Vorlesung/Übung | 417492 | Mo 14:30-16:00 Online-Veranstaltung (×10) Do 10:30-12:00 Online-Veranstaltung (×9) Fr 14:30-16:00 Online-Veranstaltung (×8) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 422632 | ||
| Vorlesung/Übung | 418239 | Mo 12:30-14:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 4 | 429307 | ||
| Research Focus Class on Communication Systems | Fach-/Modulprüfung | 6 | 444058 | ||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 422954 | ||
| Vorlesung | 425179 | Mi 10:30-12:00 Online-Veranstaltung (×14) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Übung | 425178 | Mo 14:30-16:00 Online-Veranstaltung (×11) | |||
| Software Language Engineering | Projekt | 6 | 419019 | ||
| Vorlesung/Übung | 417904 | Di 14:30-16:00 Online-Veranstaltung (×14) Mi 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Software-Projektmanagement | Fach-/Modulprüfung | 4 | 420831 | ||
| Vorlesung | 418419 | Di 16:30-18:00 Online-Veranstaltung (×14) | |||
| Übung | 418936 | Fr 10:30-12:00 Online-Veranstaltung (×14) | |||
| Statische Programmanalyse | Fach-/Modulprüfung | 6 | 420846 |